A Mapping Language from Models to XMI[DI] Diagrams
نویسندگان
چکیده
We study the problem of how to define the concrete syntax of a modeling language based on the standards proposed by the Object Management Group (OMG). The OMG has recently published the Diagram Interchange (XMI[DI]) standard that contains a language to describe the graphical representation of a model. XMI[DI] is required to enableinteroperability between modeling tools. However, XMI[DI] can only describe particular diagrams of a model. We consider that the definition of a modeling language should also include a definition of what legal diagrams exist for that modeling language. In this article, we present a language to describe mappings between modeling languages and diagrams, some example mappings and our experience using them.
منابع مشابه
Enhancement of Action Description Language for UML Activity Diagram Review
The UML activity diagram is graphical presentation that describes the operational process and related causes used in each stage of the system. For understanding and accurate communication, the UML standard is required for determining the congruent and consistent format application. To detect the misconception and incorrect notation, this paper presents an automation approach to reviewing UML ac...
متن کاملApplying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
The Object Management Group (OMG) is in the process of defining a UML Profile for Schedulability, Performance and Time that will enable the construction of models for making quantitative predictions regarding these characteristics. The paper proposes a graph-grammar based method for transforming automatically a UML model annotated with performance information into a Layered Queueing Network (LQ...
متن کاملMapping DEVS Models onto UML Models
Discrete event simulation specification (DEVS) is a formalism designed to describe both discrete state and continuous state systems. It is a powerful abstract mathematical notation. However, until recently it lacked proper graphical representation, which made computer simulation of DEVS models a challenging issue. Unified modeling language (UML) is a multipurpose graphical modeling language, a ...
متن کاملFrom Design Specification to SystemC
In this paper, we present a framework for transforming the design model into SystemC code. Such a framework uses as input UML state machine and object diagrams, which are more and more used as design models in embedded systems. To do this, we have firstly used Poseidon tool for editing the design model and generating the XMI representation, and secondly integrated a transformation module leadin...
متن کاملA metamodeling level transformation from UML sequence diagrams to Coq
Modeling is an important aspect of UML formal verification that directly affects the quality and efficiency of the verification. Formal models are the foundation of formal verification. As UML diagrams only have semi-formal semantics, they cannot be used for formal verification directly. Recent studies present model transformation from semi-formal UML models to formal models to solve the issues...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005